Démonstration de l'équation $\sum\limits_{k=1}^\infty\frac{\mu(k)}k = 0$

Les graphes de démonstration : outil pour l'étude des démonstrations naturelles

La plate-forme MOCA : Réification de la notion d'organisation au-dessus de MadKit (démonstration)

1. Introduction La littérature propose maintenant plusieurs modèles de description de SMA en termes organisationnels [Dur96, FG98, HBS99, Hil00, Dur00] ; les notions de rôles et d'organisation y prennent des significations précises, doublées de langages de spécification adéquats. Il faut distinguer deux niveaux de description, celui du système multi-agent où un certain nombre d'agents interagis...

Préparation d'antigène aphteux concentré sur culture cellulaire pour l'étude de 3 variantes de type "0" 0 Flandres-O Sicile 58-0 Espagne 64

0 Universidad de Zaragoza “ garcia de galdeano ”

As a sequel of [4], this paper is devoted to the computation of the digital fundamental group πd 1(O/S;σ) defined by loops in the digital object O for which the digital object S acts as an “obstacle”. We prove that for arbitrary digital spaces the group πd 1(O/S;σ) maps onto the usual fundamental group of the difference of continuous analogues |AO∪S | − |AS |. Moreover, we show that this epimor...

Une représentation sémantique et un système de transfert pour une traduction de haute qualité. Présentation de projet Avec démonstration sur machines SUN

Darts cet article, noas commencons par pr6senter de mani6re tr6s succincte le projet. Nous tentons ensulte de demontrer les iimites d'un sysl/:me interlingua. Nous montrons d'abord qu'une collaboration trds ~troite lors du dtveloppement des difftrentes grammaires nous permet gtntralement d'obtenir une m~me reprtsentation stmantique darts les deux langues, ce qui rend le transfer plus efficace e...